Coherence of the Double Involution on ∗-autonomous Categories
نویسندگان
چکیده
We show that any free ∗-autonomous category is strictly equivalent to a free ∗-autonomous category in which the double-involution (−)∗∗ is the identity functor and the canonical isomorphism A A∗∗ is an identity arrow for all A.
منابع مشابه
Coherence of the Double Negation in Linear Logic
Many formulations of proof nets and sequent calculi for Classical Linear Logic (CLL) [7, 8] take it for granted that a type A is identical to its double negation A⊥⊥. On the other hand, since Seely [13], it has been assumed that ∗-autonomous categories [1, 2] are the appropriate semantic models of (the multiplicative fragment of) CLL. However, in general, in a ∗-autonomous category an object A ...
متن کاملD ec 2 00 5 Coherence for Star - Autonomous Categories
This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly’s and Mac Lane’s coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial cut-elimination result, which is presented in some detail. Mathematics Subject Classification (2000): 03F05, 03F52, 18D10, 18D15, 19D23
متن کاملOn Involutive Monoidal Categories
In this paper, we consider a non-posetal analogue of the notion of involutive quantale [MP92]; specifically, a (planar) monoidal category equipped with a covariant involution that reverses the order of tensoring. We study the coherence issues that inevitably result when passing from posets to categories; we also link our subject with other notions already in the literature, such as balanced mon...
متن کاملar X iv : m at h / 05 03 30 6 v 1 [ m at h . C T ] 1 5 M ar 2 00 5 Coherence for Star - Autonomous Categories
This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly’s and Mac Lane’s coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial cut-elimination result, which is presented in some detail. Mathematics Subject Classification (2000): 03F05, 03F52, 18D10, 18D15, 19D23
متن کاملCoherence of Proof-Net Categories
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear logic. Analogous graphs occur in Kelly’s and Mac Lane’s coherence theorem for symmetric monoidal closed categories. A coherence theorem with respect to these graphs is proved for proof-net categories. Such a coherence ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003